The Development of a Commercial “Shrink-Wrapped Application” to Safety Integrity Level 2:
نویسندگان
چکیده
Abstract. We report on some of the development issues of a commercial “shrink-wrapped application”—DUST-EXPERTTM—that is of particular interest to the safety and software engineering community. Amongst other things, the following are reported on and discussed: the use of formal methods; advisory systems as safety related systems; safety integrity levels and the general construction of DUST-EXPERT’s safety case; statistical testing checked by an “oracle” derived from the formal specification; and our achieved productivity and error density.
منابع مشابه
Synchronize and Stabilize vs. Open-source
An analysis of 2 team-organization models when developing consumer-level shrink-wrapped software.
متن کاملEvaluation of Fire Risk in Commercial Complexes of District 12 of Tehran and its Relationship with their Structural and Usage Characteristics
Introduction: Commercial complexes are one of the most prestigious public and city-centered areas in terms of urban safety and passive defense. The purpose of this study was to determine the fire safety risk score of commercial complexes and its related factors. Material and method: The commercial complexes of area 1 of District 12 of Tehran were studied. The characteristics of the complexes,...
متن کاملبررسی وضعیت ایمنی راههای کشور طی سالهای 1380 الی 1385
Introduction: In developing countries, promotion of road safety is of crucial importance. This paper presents the status of road safety in Iran during 2001 - 2006. . Material and Method: The status of road safety in Iran was surveyed in this descriptive study using road safety indicators a in macro level. Firstly, 46 indicators were identified after studying almost all indicators related to th...
متن کاملSpatial Analysis of the Impact of Commercial Tourism on Sustainable Development of Rural Areas (Case Study: Dehshikh – Cigar Business Area on Lamerd County)
The present study seeks to evaluate the spatial indicators of sustainable development of rural settlements in the Dehshikh-Cigar commercial area, Lamerd city, Fars province. This research is descriptive-analytical, The statistical population of the study includes all villagers living in 13 villages of Dehshikh-Cigar commercial area in Lamerd city. Using Cochranchr(chr('39')39chr('39'))s formula...
متن کاملPreliminary assessment of Linux for safety related systems Prepared by CSE International Limited for the Health and Safety Executive 2002 RESEARCH REPORT 011
The Linux operating system is in widespread use, and there is now interest in using Linux for safety related systems. This report considers the availability and quality of evidence for the safety integrity of Linux. Three criteria are defined for the suitability of an operating system for use in safety related applications, namely that the operating system must be sufficiently well understood, ...
متن کامل